SYSTEMATICS: ITS SYNTAX AND SEMANTICS AS A QUERY LANGUAGE. IISERNADAS A.1981; COMPUT. J.; ISSN 0010-4620; GBR; DA. 1981; VOL. 24; NO 2; PP. 125-129; BIBL. 12 REF.Article

Weakly complete axiomatization of exogenous quantum propositional logicMATEUS, P; SERNADAS, A.Information and computation (Print). 2006, Vol 204, Num 5, pp 771-794, issn 0890-5401, 24 p.Article

Specification and verification of database dynamicsFIADEIRO, J; SERNADAS, A.Acta informatica. 1988, Vol 25, Num 6, pp 625-661, issn 0001-5903Article

algebraic implementation of objects over objectsEHRICH, H.-D; SERNADAS, A.Lecture notes in computer science. 1990, Vol 430, pp 239-266, issn 0302-9743, 28 p.Conference Paper

The INFOLOG linear tense propositional logic of events and transactionsFIADEIRO, J; SERNADAS, A.Information systems (Oxford). 1986, Vol 11, Num 1, pp 61-85, issn 0306-4379Article

Progress assumption in concurrent systemsCOSTA, J. F; SERNADAS, A.Formal aspects of computing. 1995, Vol 7, Num 1, pp 18-36, issn 0934-5043Article

Formal techniques for systems specification and verificationCARMO, J; SERNADAS, A.Information systems (Oxford). 1991, Vol 16, Num 3, pp 245-272, issn 0306-4379Article

An object-oriented specification tool for graphical interfacesSOUSA, J. P; SERNADAS, C; SERNADAS, A et al.Computers & graphics. 1990, Vol 14, Num 1, pp 29-40, issn 0097-8493, 12 p.Article

Object inheritance beyond subtypingCOSTA, J. F; SERNADAS, A; SERNADAS, C et al.Acta informatica. 1994, Vol 31, Num 1, pp 5-26, issn 0001-5903Article

A temporal logic approach to object certificationSERNADAS, A; SERNADAS, C; RAMOS, J et al.Data & knowledge engineering. 1996, Vol 19, Num 3, pp 267-294, issn 0169-023XArticle

The situation and state calculus versus branching temporal logicRAMOS, J; SERNADAS, A.Lecture notes in computer science. 1999, pp 293-309, issn 0302-9743, isbn 3-540-66246-4Conference Paper

Denotational semantics of object specificationSERNADAS, A; SERNADAS, C; CALEIRO, C et al.Acta informatica. 1998, Vol 35, Num 9, pp 729-773, issn 0001-5903Article

Synchronization of logics with mixed rules : Completeness preservationSERNADAS, A; SERNADAS, C; CALEIRO, C et al.Lecture notes in computer science. 1997, pp 465-478, issn 0302-9743, isbn 3-540-63888-1Conference Paper

Modular construction of logic knowledge bases: an algebraic approachSERNADAS, C; FIADEIRO, J; SERNADAS, A et al.Information systems (Oxford). 1990, Vol 15, Num 1, pp 37-59, issn 0306-4379, 23 p.Article

A two-level temporal logic for evolving specificationsSCHOBBENS, P. Y; SAAKE, G; SERNADAS, A et al.Information processing letters. 2002, Vol 83, Num 3, pp 167-172, issn 0020-0190Article

Parameterisation of logicsCALEIRO, C; SERNADAS, C; SERNADAS, A et al.Lecture notes in computer science. 1999, pp 48-62, issn 0302-9743, isbn 3-540-66246-4Conference Paper

Reasoning about probabilistic sequential programsCHADHA, R; CRUZ-FILIPE, L; MATEUS, P et al.Theoretical computer science. 2007, Vol 379, Num 1-2, pp 142-165, issn 0304-3975, 24 p.Article

A linear temporal logic approach to objects with transactionsDENKER, G; RAMOS, J; CALEIRO, C et al.Lecture notes in computer science. 1997, pp 170-184, issn 0302-9743, isbn 3-540-63888-1Conference Paper

Reasoning about quantum systemsMATEUS, P; SERNADAS, A.Lecture notes in computer science. 2004, pp 239-251, issn 0302-9743, isbn 3-540-23242-7, 13 p.Conference Paper

Categorical foundations for randomly timed automataMATEUS, P; MORAIS, M; NUNES, C et al.Theoretical computer science. 2003, Vol 308, Num 1-3, pp 393-427, issn 0304-3975, 35 p.Article

Reasoning about states of probabilistic sequential programsCHADHA, R; MATEUS, P; SERNADAS, A et al.Lecture notes in computer science. 2006, pp 240-255, issn 0302-9743, isbn 3-540-45458-6, 1Vol, 16 p.Conference Paper

Combining logics: Parchments revisitedCALEIRO, C; MATEUS, P; RAMOS, J et al.Lecture notes in computer science. 2002, pp 48-70, issn 0302-9743, isbn 3-540-43159-4Conference Paper